simplify identities by factoring